plat_c_srcs:= console.c
plat_s_srcs:=
